Algorithm W - mrsekut-p

Algorithm W

Hindley-Milner型推論のアルゴリズムの1つ

初出論文はA Theory of Type Polymorphism in Programming

http://dev.stephendiehl.com/fun/006_hindley_milner.html

Schemes for Functional Programs

https://zehnpaard.hatenablog.com/entry/2022/03/30/173835

https://zehnpaard.hatenablog.com/entry/2022/04/03/113727

https://jeremymikkola.com/posts/2018_03_25_understanding_algorithm_w.html

https://qiita.com/uint256_t/items/7d8c8feeffc03b388825

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf

そんなに分量もない

https://www.sciencedirect.com/science/article/pii/0022000078900144

https://github.com/pi8027/typeinfer

http://osiire.hatenablog.com/entry/20120211

let多相を持った型システムにおける型推論アルゴリズム

https://tociyuki.hatenablog.jp/entry/20160919/1474288592

実装した記事

https://blog.waft.me/2017/10/08/algorithm-w/

Swift

https://github.com/fetburner/TypeInfer

https://boxbase.org/entries/2018/mar/5/hindley-milner/

https://en.wikipedia.org/wiki/Hindley–Milner_type_system#Algorithm_W

Algorithm W Step by Step

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf

関連

Basic Polymorphic Typechecking

https://github.com/tomprimozic/type-systems/tree/master/algorithm_w

アルゴリズムWに破壊的代入とランクによる効率的な一般化を加えた型システムの写経をしている。勉強になるな・・・ref